Samir Genaim: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On the Inference of Resource Usage Upper and Lower Bounds

Albert, Elvira, Genaim, Samir, Masud, Abu Naser

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 825 KB

english, 2013

2

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

DOMÉNECH, JESÚS J., GALLAGHER, JOHN P., GENAIM, SAMIR

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 334 KB

english, 2019

3

Inferring non-suspension conditions for logic programs with dynamic scheduling

Genaim, Samir, King, Andy

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 331 KB

english, 2008

4

Preface

Elvira Albert, Samir Genaim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 92 KB

english, 2009

5

Closed-Form Upper Bounds in Static Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 866 KB

english, 2011

6

Cost Relation Systems: A Language-Independent Target Language for Cost Analysis

Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 359 KB

english, 2009

7

Handling Non-linear Operations in the Value Analysis of COSTA

Diego Alonso, Puri Arenas, Samir Genaim

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 274 KB

english, 2011

8

Cost analysis of object-oriented bytecode programs

Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

9

Corrigendum to “Reachability-based acyclicity analysis by abstract interpretation” [Theoretical Computer Science 474 (2013) 60–79]

Genaim, Samir, Zanardini, Damiano

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 121 KB

english, 2013

10

Heap space analysis for garbage collected languages

Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 374 KB

english, 2013

11

Conditional termination of loops over heap-allocated data

Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Román-Díez, Guillermo

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1004 KB

english, 2014

12

Reachability-based acyclicity analysis by Abstract Interpretation

Genaim, Samir, Zanardini, Damiano

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 532 KB

english, 2013

13

On the Termination of Integer Loops

Ben-Amram, Amir M., Genaim, Samir, Masud, Abu Naser

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2012

Language:

english

File:

PDF, 212 KB

english, 2012

14

A formal verification framework for static analysis

Albert, Elvira, Bubel, Richard, Genaim, Samir, Hähnle, Reiner, Puebla, Germán, Román-Díez, Guillermo

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 1.44 MB

english, 2016

15

[ACM Press the 6th international symposium - Montreal, Quebec, Canada (2007.10.21-2007.10.22)] Proceedings of the 6th international symposium on Memory management - ISMM '07 - Heap space analysis for java bytecode

Albert, Elvira, Genaim, Samir, Gomez-Zamalloa, Miguel

Year:

2007

Language:

english

File:

PDF, 336 KB

english, 2007

16

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - On the linear ranking problem for integer linear-constraint loops

Ben-Amram, Amir M., Genaim, Samir

Year:

2013

Language:

english

File:

PDF, 736 KB

english, 2013

17

Task-level analysis for a language with async/finish parallelism

Albert, Elvira, Arenas, Puri, Genaim, Samir, Zanardini, Damiano

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 553 KB

english, 2011

18

Inference of Field-Sensitive Reachability and Cyclicity

Zanardini, Damiano, Genaim, Samir

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 2.27 MB

english, 2014

19

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A declarative encoding of telecommunications feature subscription in SAT

Codish, Michael, Genaim, Samir, Stuckey, Peter J.

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

20

[ACM Press the 20th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.24-2011.01.25)] Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 - Verified resource guarantees using COSTA and KeY

Albert, Elvira, Bubel, Richard, Genaim, Samir, Hähnle, Reiner, Puebla, Germán, Román-Díez, Guillermo

Year:

2011

Language:

english

File:

PDF, 535 KB

english, 2011

21

[ACM Press the 2011 SIGPLAN/SIGBED conference - Chicago, IL, USA (2011.04.11-2011.04.14)] Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11 - Task-level analysis for a language with async/finish parallelism

Albert, Elvira, Arenas, Puri, Genaim, Samir, Zanardini, Damiano

Year:

2011

Language:

english

File:

PDF, 553 KB

english, 2011

22

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - COSTABS

Albert, Elvira, Arenas, Puri, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán

Year:

2012

Language:

english

File:

PDF, 363 KB

english, 2012

23

Ranking Functions for Linear-Constraint Loops

Ben-Amram, Amir M., Genaim, Samir

Journal:

Journal of the ACM

Year:

2014

Language:

english

File:

PDF, 588 KB

english, 2014

24

[ACM Press the ACM SIGSOFT 20th International Symposium - Cary, North Carolina (2012.11.11-2012.11.16)] Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12 - MayPar

Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir

Year:

2012

Language:

english

File:

PDF, 615 KB

english, 2012

25

A practical comparator of cost functions and its applications

Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 689 KB

english, 2015

26

[IEEE 2015 18th International Conference on Network-Based Information Systems (NBiS) - Taipei, Taiwan (2015.9.2-2015.9.4)] 2015 18th International Conference on Network-Based Information Systems - Preparing HPC Applications for Exascale: Challenges and Recommendations

Abraham, Erika, Bekas, Costas, Brandic, Ivona, Genaim, Samir, Johnsen, Einar Broch, Kondov, Ivan, Pllana, Sabri, Streit, Achim

Year:

2015

Language:

english

File:

PDF, 223 KB

english, 2015

27

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - From non-zenoness verification to termination

Ganty, Pierre, Genaim, Samir, Lal, Ratan, Prabhakar, Pavithra

Year:

2015

Language:

english

File:

PDF, 537 KB

english, 2015

28

May-Happen-in-Parallel Analysis for Actor-Based Concurrency

Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 1.63 MB

english, 2015

29

Inferring termination conditions for logic programs using backwards analysis

GENAIM, SAMIR, CODISH, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 175 KB

english, 2005

30

Worst-case groundness analysis using definite Boolean functions

GENAIM, SAMIR, CODISH, MICHAEL, HOWE, JACOB M.

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 140 KB

english, 2001

31

Object-sensitive cost analysis for concurrent objects

Albert, Elvira, Arenas, Puri, Correas, Jesús, Genaim, Samir, Gómez-Zamalloa, Miguel, Puebla, Germán, Román-Díez, Guillermo

Journal:

Software Testing, Verification and Reliability

Year:

2015

Language:

english

File:

PDF, 4.66 MB

english, 2015

32

[ACM Press the 2010 international symposium - Toronto, Ontario, Canada (2010.06.05-2010.06.06)] Proceedings of the 2010 international symposium on Memory management - ISMM '10 - Parametric inference of memory requirements for garbage collected languages

Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel

Year:

2010

Language:

english

File:

PDF, 479 KB

english, 2010

33

Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings

Albert, Elvira, Flores-Montoya, Antonio, Genaim, Samir, Martin-Martin, Enrique

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.27 MB

english, 2017

34

[ACM Press the 2009 international symposium - Dublin, Ireland (2009.06.19-2009.06.20)] Proceedings of the 2009 international symposium on Memory management - ISMM '09 - Live heap space analysis for languages with garbage collection

Albert, Elvira, Genaim, Samir, Gómez-Zamalloa Gil, Miguel

Year:

2009

Language:

english

File:

PDF, 508 KB

english, 2009

35

A Transformational Approach to Resource Analysis with Typed-norms Inference

ALBERT, ELVIRA, GENAIM, SAMIR, GUTIÉRREZ, RAÚL, MARTIN-MARTIN, ENRIQUE

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 2.02 MB

english, 2019